namespace SimulatorGui
{
    partial class MainForm
    {
        /// <summary>
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary>
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            this.components = new System.ComponentModel.Container();
            System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainForm));
            this.txtScript = new System.Windows.Forms.TextBox();
            this.menuStrip1 = new System.Windows.Forms.MenuStrip();
            this.scriptToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.loadToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.groupBox1 = new System.Windows.Forms.GroupBox();
            this.tapeControl1 = new SimulatorGui.TapeControl();
            this.label1 = new System.Windows.Forms.Label();
            this.btnCompile = new System.Windows.Forms.Button();
            this.btnLoadToTape = new System.Windows.Forms.Button();
            this.groupBox2 = new System.Windows.Forms.GroupBox();
            this.txtMaxStep = new System.Windows.Forms.TextBox();
            this.label2 = new System.Windows.Forms.Label();
            this.groupRunControl = new System.Windows.Forms.GroupBox();
            this.txtSpeed = new System.Windows.Forms.Label();
            this.label6 = new System.Windows.Forms.Label();
            this.Slow = new System.Windows.Forms.Label();
            this.btnRestart = new System.Windows.Forms.Button();
            this.trackBar1 = new System.Windows.Forms.TrackBar();
            this.label5 = new System.Windows.Forms.Label();
            this.btnStep = new System.Windows.Forms.Button();
            this.btnPause = new System.Windows.Forms.Button();
            this.btnStop = new System.Windows.Forms.Button();
            this.btnRun = new System.Windows.Forms.Button();
            this.txtCurStep = new System.Windows.Forms.TextBox();
            this.txtCurState = new System.Windows.Forms.TextBox();
            this.label4 = new System.Windows.Forms.Label();
            this.label3 = new System.Windows.Forms.Label();
            this.groupBox4 = new System.Windows.Forms.GroupBox();
            this.button7 = new System.Windows.Forms.Button();
            this.txtOutput = new System.Windows.Forms.TextBox();
            this.button8 = new System.Windows.Forms.Button();
            this.saveFileDialog1 = new System.Windows.Forms.SaveFileDialog();
            this.openFileDialog1 = new System.Windows.Forms.OpenFileDialog();
            this.timerRun = new System.Windows.Forms.Timer(this.components);
            this.toolTip1 = new System.Windows.Forms.ToolTip(this.components);
            this.menuStrip1.SuspendLayout();
            this.groupBox1.SuspendLayout();
            this.groupBox2.SuspendLayout();
            this.groupRunControl.SuspendLayout();
            ((System.ComponentModel.ISupportInitialize)(this.trackBar1)).BeginInit();
            this.groupBox4.SuspendLayout();
            this.SuspendLayout();
            // 
            // txtScript
            // 
            this.txtScript.Font = new System.Drawing.Font("Courier New", 11.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
            this.txtScript.Location = new System.Drawing.Point(13, 126);
            this.txtScript.Multiline = true;
            this.txtScript.Name = "txtScript";
            this.txtScript.Size = new System.Drawing.Size(176, 345);
            this.txtScript.TabIndex = 1;
            this.txtScript.TabStop = false;
            this.txtScript.Text = "q1,a,q2,>\r\nq2,s,H,<\r\nq3,s,q1,a";
            this.txtScript.TextChanged += new System.EventHandler(this.txtScript_TextChanged);
            // 
            // menuStrip1
            // 
            this.menuStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.scriptToolStripMenuItem,
            this.helpToolStripMenuItem});
            this.menuStrip1.Location = new System.Drawing.Point(0, 0);
            this.menuStrip1.Name = "menuStrip1";
            this.menuStrip1.Size = new System.Drawing.Size(594, 24);
            this.menuStrip1.TabIndex = 2;
            this.menuStrip1.Text = "menuStrip1";
            // 
            // scriptToolStripMenuItem
            // 
            this.scriptToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.saveToolStripMenuItem,
            this.loadToolStripMenuItem});
            this.scriptToolStripMenuItem.Name = "scriptToolStripMenuItem";
            this.scriptToolStripMenuItem.Size = new System.Drawing.Size(46, 20);
            this.scriptToolStripMenuItem.Text = "Script";
            // 
            // saveToolStripMenuItem
            // 
            this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
            this.saveToolStripMenuItem.Size = new System.Drawing.Size(98, 22);
            this.saveToolStripMenuItem.Text = "Save";
            this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click);
            // 
            // loadToolStripMenuItem
            // 
            this.loadToolStripMenuItem.Name = "loadToolStripMenuItem";
            this.loadToolStripMenuItem.Size = new System.Drawing.Size(98, 22);
            this.loadToolStripMenuItem.Text = "Load";
            this.loadToolStripMenuItem.Click += new System.EventHandler(this.loadToolStripMenuItem_Click);
            // 
            // helpToolStripMenuItem
            // 
            this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.aboutToolStripMenuItem});
            this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
            this.helpToolStripMenuItem.Size = new System.Drawing.Size(40, 20);
            this.helpToolStripMenuItem.Text = "Help";
            // 
            // aboutToolStripMenuItem
            // 
            this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
            this.aboutToolStripMenuItem.Size = new System.Drawing.Size(103, 22);
            this.aboutToolStripMenuItem.Text = "About";
            this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
            // 
            // groupBox1
            // 
            this.groupBox1.Controls.Add(this.tapeControl1);
            this.groupBox1.Location = new System.Drawing.Point(13, 28);
            this.groupBox1.Name = "groupBox1";
            this.groupBox1.Size = new System.Drawing.Size(570, 63);
            this.groupBox1.TabIndex = 3;
            this.groupBox1.TabStop = false;
            this.groupBox1.Text = "Tape";
            // 
            // tapeControl1
            // 
            this.tapeControl1.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
            this.tapeControl1.CurrentIndex = 13;
            this.tapeControl1.Location = new System.Drawing.Point(6, 19);
            this.tapeControl1.Name = "tapeControl1";
            this.tapeControl1.Size = new System.Drawing.Size(556, 29);
            this.tapeControl1.TabIndex = 1;
            // 
            // label1
            // 
            this.label1.AutoSize = true;
            this.label1.Location = new System.Drawing.Point(10, 110);
            this.label1.Name = "label1";
            this.label1.Size = new System.Drawing.Size(60, 13);
            this.label1.TabIndex = 4;
            this.label1.Text = "User script:";
            // 
            // btnCompile
            // 
            this.btnCompile.Location = new System.Drawing.Point(124, 19);
            this.btnCompile.Name = "btnCompile";
            this.btnCompile.Size = new System.Drawing.Size(112, 23);
            this.btnCompile.TabIndex = 3;
            this.btnCompile.Text = "Compile script";
            this.btnCompile.UseVisualStyleBackColor = true;
            this.btnCompile.Click += new System.EventHandler(this.btnCompile_Click);
            // 
            // btnLoadToTape
            // 
            this.btnLoadToTape.Location = new System.Drawing.Point(6, 19);
            this.btnLoadToTape.Name = "btnLoadToTape";
            this.btnLoadToTape.Size = new System.Drawing.Size(112, 23);
            this.btnLoadToTape.TabIndex = 2;
            this.btnLoadToTape.Text = "Load input to tape";
            this.btnLoadToTape.UseVisualStyleBackColor = true;
            this.btnLoadToTape.Click += new System.EventHandler(this.button2_Click);
            // 
            // groupBox2
            // 
            this.groupBox2.Controls.Add(this.txtMaxStep);
            this.groupBox2.Controls.Add(this.label2);
            this.groupBox2.Controls.Add(this.btnLoadToTape);
            this.groupBox2.Controls.Add(this.btnCompile);
            this.groupBox2.Location = new System.Drawing.Point(195, 126);
            this.groupBox2.Name = "groupBox2";
            this.groupBox2.Size = new System.Drawing.Size(388, 57);
            this.groupBox2.TabIndex = 7;
            this.groupBox2.TabStop = false;
            this.groupBox2.Text = "Settings";
            // 
            // txtMaxStep
            // 
            this.txtMaxStep.Location = new System.Drawing.Point(311, 21);
            this.txtMaxStep.Name = "txtMaxStep";
            this.txtMaxStep.Size = new System.Drawing.Size(67, 20);
            this.txtMaxStep.TabIndex = 4;
            this.txtMaxStep.TabStop = false;
            this.txtMaxStep.Text = "1000";
            // 
            // label2
            // 
            this.label2.AutoSize = true;
            this.label2.Location = new System.Drawing.Point(247, 25);
            this.label2.Name = "label2";
            this.label2.Size = new System.Drawing.Size(58, 13);
            this.label2.TabIndex = 9;
            this.label2.Text = "Max steps:";
            // 
            // groupRunControl
            // 
            this.groupRunControl.Controls.Add(this.txtSpeed);
            this.groupRunControl.Controls.Add(this.label6);
            this.groupRunControl.Controls.Add(this.Slow);
            this.groupRunControl.Controls.Add(this.btnRestart);
            this.groupRunControl.Controls.Add(this.trackBar1);
            this.groupRunControl.Controls.Add(this.label5);
            this.groupRunControl.Controls.Add(this.btnStep);
            this.groupRunControl.Controls.Add(this.btnPause);
            this.groupRunControl.Controls.Add(this.btnStop);
            this.groupRunControl.Controls.Add(this.btnRun);
            this.groupRunControl.Controls.Add(this.txtCurStep);
            this.groupRunControl.Controls.Add(this.txtCurState);
            this.groupRunControl.Controls.Add(this.label4);
            this.groupRunControl.Controls.Add(this.label3);
            this.groupRunControl.Location = new System.Drawing.Point(195, 189);
            this.groupRunControl.Name = "groupRunControl";
            this.groupRunControl.Size = new System.Drawing.Size(388, 97);
            this.groupRunControl.TabIndex = 8;
            this.groupRunControl.TabStop = false;
            this.groupRunControl.Text = "Run control";
            // 
            // txtSpeed
            // 
            this.txtSpeed.AutoSize = true;
            this.txtSpeed.Location = new System.Drawing.Point(285, 79);
            this.txtSpeed.Name = "txtSpeed";
            this.txtSpeed.Size = new System.Drawing.Size(0, 13);
            this.txtSpeed.TabIndex = 13;
            // 
            // label6
            // 
            this.label6.AutoSize = true;
            this.label6.Location = new System.Drawing.Point(346, 79);
            this.label6.Name = "label6";
            this.label6.Size = new System.Drawing.Size(32, 13);
            this.label6.TabIndex = 12;
            this.label6.Text = "Short";
            // 
            // Slow
            // 
            this.Slow.AutoSize = true;
            this.Slow.Location = new System.Drawing.Point(226, 79);
            this.Slow.Name = "Slow";
            this.Slow.Size = new System.Drawing.Size(31, 13);
            this.Slow.TabIndex = 11;
            this.Slow.Text = "Long";
            // 
            // btnRestart
            // 
            this.btnRestart.Image = ((System.Drawing.Image)(resources.GetObject("btnRestart.Image")));
            this.btnRestart.Location = new System.Drawing.Point(136, 50);
            this.btnRestart.Name = "btnRestart";
            this.btnRestart.Size = new System.Drawing.Size(25, 25);
            this.btnRestart.TabIndex = 9;
            this.toolTip1.SetToolTip(this.btnRestart, "Reset machine to start state");
            this.btnRestart.UseVisualStyleBackColor = true;
            this.btnRestart.Click += new System.EventHandler(this.btnRestart_Click);
            // 
            // trackBar1
            // 
            this.trackBar1.Location = new System.Drawing.Point(229, 50);
            this.trackBar1.Maximum = 15;
            this.trackBar1.Name = "trackBar1";
            this.trackBar1.Size = new System.Drawing.Size(144, 42);
            this.trackBar1.TabIndex = 10;
            this.trackBar1.Scroll += new System.EventHandler(this.trackBar1_Scroll);
            // 
            // label5
            // 
            this.label5.AutoSize = true;
            this.label5.Location = new System.Drawing.Point(185, 56);
            this.label5.Name = "label5";
            this.label5.Size = new System.Drawing.Size(34, 13);
            this.label5.TabIndex = 8;
            this.label5.Text = "Delay";
            this.toolTip1.SetToolTip(this.label5, "Delay between each step");
            // 
            // btnStep
            // 
            this.btnStep.Image = global::SimulatorGui.Properties.Resources.Step;
            this.btnStep.Location = new System.Drawing.Point(105, 50);
            this.btnStep.Name = "btnStep";
            this.btnStep.Size = new System.Drawing.Size(25, 25);
            this.btnStep.TabIndex = 8;
            this.toolTip1.SetToolTip(this.btnStep, "Manual step perform");
            this.btnStep.UseVisualStyleBackColor = true;
            this.btnStep.Click += new System.EventHandler(this.btnStep_Click);
            // 
            // btnPause
            // 
            this.btnPause.Image = global::SimulatorGui.Properties.Resources.Pause;
            this.btnPause.Location = new System.Drawing.Point(74, 50);
            this.btnPause.Name = "btnPause";
            this.btnPause.Size = new System.Drawing.Size(25, 25);
            this.btnPause.TabIndex = 7;
            this.toolTip1.SetToolTip(this.btnPause, "Pause running");
            this.btnPause.UseVisualStyleBackColor = true;
            this.btnPause.Click += new System.EventHandler(this.button5_Click);
            // 
            // btnStop
            // 
            this.btnStop.Image = global::SimulatorGui.Properties.Resources.Stop;
            this.btnStop.Location = new System.Drawing.Point(43, 50);
            this.btnStop.Name = "btnStop";
            this.btnStop.Size = new System.Drawing.Size(25, 25);
            this.btnStop.TabIndex = 6;
            this.toolTip1.SetToolTip(this.btnStop, "Stop running");
            this.btnStop.UseVisualStyleBackColor = true;
            this.btnStop.Click += new System.EventHandler(this.button4_Click);
            // 
            // btnRun
            // 
            this.btnRun.Image = global::SimulatorGui.Properties.Resources.Run;
            this.btnRun.Location = new System.Drawing.Point(12, 50);
            this.btnRun.Name = "btnRun";
            this.btnRun.Size = new System.Drawing.Size(25, 25);
            this.btnRun.TabIndex = 5;
            this.toolTip1.SetToolTip(this.btnRun, "Automatic run");
            this.btnRun.UseVisualStyleBackColor = true;
            this.btnRun.Click += new System.EventHandler(this.btnRun_Click);
            // 
            // txtCurStep
            // 
            this.txtCurStep.Location = new System.Drawing.Point(258, 17);
            this.txtCurStep.Name = "txtCurStep";
            this.txtCurStep.ReadOnly = true;
            this.txtCurStep.Size = new System.Drawing.Size(35, 20);
            this.txtCurStep.TabIndex = 3;
            this.txtCurStep.TabStop = false;
            // 
            // txtCurState
            // 
            this.txtCurState.Location = new System.Drawing.Point(85, 17);
            this.txtCurState.Name = "txtCurState";
            this.txtCurState.ReadOnly = true;
            this.txtCurState.Size = new System.Drawing.Size(35, 20);
            this.txtCurState.TabIndex = 2;
            this.txtCurState.TabStop = false;
            // 
            // label4
            // 
            this.label4.AutoSize = true;
            this.label4.Location = new System.Drawing.Point(185, 20);
            this.label4.Name = "label4";
            this.label4.Size = new System.Drawing.Size(67, 13);
            this.label4.TabIndex = 1;
            this.label4.Text = "Current step:";
            // 
            // label3
            // 
            this.label3.AutoSize = true;
            this.label3.Location = new System.Drawing.Point(9, 20);
            this.label3.Name = "label3";
            this.label3.Size = new System.Drawing.Size(70, 13);
            this.label3.TabIndex = 0;
            this.label3.Text = "Current state:";
            // 
            // groupBox4
            // 
            this.groupBox4.Controls.Add(this.button7);
            this.groupBox4.Controls.Add(this.txtOutput);
            this.groupBox4.Location = new System.Drawing.Point(195, 292);
            this.groupBox4.Name = "groupBox4";
            this.groupBox4.Size = new System.Drawing.Size(388, 179);
            this.groupBox4.TabIndex = 9;
            this.groupBox4.TabStop = false;
            this.groupBox4.Text = "Output";
            // 
            // button7
            // 
            this.button7.Location = new System.Drawing.Point(302, 151);
            this.button7.Name = "button7";
            this.button7.Size = new System.Drawing.Size(78, 22);
            this.button7.TabIndex = 11;
            this.button7.Text = "Clean";
            this.button7.UseVisualStyleBackColor = true;
            this.button7.Click += new System.EventHandler(this.button7_Click);
            // 
            // txtOutput
            // 
            this.txtOutput.Location = new System.Drawing.Point(11, 20);
            this.txtOutput.Multiline = true;
            this.txtOutput.Name = "txtOutput";
            this.txtOutput.ReadOnly = true;
            this.txtOutput.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
            this.txtOutput.Size = new System.Drawing.Size(369, 125);
            this.txtOutput.TabIndex = 0;
            this.txtOutput.TabStop = false;
            this.txtOutput.Text = resources.GetString("txtOutput.Text");
            // 
            // button8
            // 
            this.button8.Location = new System.Drawing.Point(508, 477);
            this.button8.Name = "button8";
            this.button8.Size = new System.Drawing.Size(75, 23);
            this.button8.TabIndex = 12;
            this.button8.Text = "Close";
            this.button8.UseVisualStyleBackColor = true;
            this.button8.Click += new System.EventHandler(this.button8_Click);
            // 
            // timerRun
            // 
            this.timerRun.Interval = 1600;
            this.timerRun.Tick += new System.EventHandler(this.timerRun_Tick);
            // 
            // MainForm
            // 
            this.ClientSize = new System.Drawing.Size(594, 512);
            this.Controls.Add(this.button8);
            this.Controls.Add(this.groupBox4);
            this.Controls.Add(this.groupRunControl);
            this.Controls.Add(this.label1);
            this.Controls.Add(this.groupBox1);
            this.Controls.Add(this.txtScript);
            this.Controls.Add(this.menuStrip1);
            this.Controls.Add(this.groupBox2);
            this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedDialog;
            this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
            this.MainMenuStrip = this.menuStrip1;
            this.MaximizeBox = false;
            this.Name = "MainForm";
            this.Text = "Turing Machine simulator";
            this.Load += new System.EventHandler(this.MainForm_Load);
            this.menuStrip1.ResumeLayout(false);
            this.menuStrip1.PerformLayout();
            this.groupBox1.ResumeLayout(false);
            this.groupBox2.ResumeLayout(false);
            this.groupBox2.PerformLayout();
            this.groupRunControl.ResumeLayout(false);
            this.groupRunControl.PerformLayout();
            ((System.ComponentModel.ISupportInitialize)(this.trackBar1)).EndInit();
            this.groupBox4.ResumeLayout(false);
            this.groupBox4.PerformLayout();
            this.ResumeLayout(false);
            this.PerformLayout();

        }

        #endregion

        private System.Windows.Forms.TextBox txtScript;
        private System.Windows.Forms.MenuStrip menuStrip1;
        private System.Windows.Forms.ToolStripMenuItem scriptToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem saveToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem loadToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
        private System.Windows.Forms.Label label1;
        private System.Windows.Forms.Button btnCompile;
        private System.Windows.Forms.Button btnLoadToTape;
        private System.Windows.Forms.GroupBox groupBox2;
        private System.Windows.Forms.GroupBox groupRunControl;
        private System.Windows.Forms.Button btnRun;
        private System.Windows.Forms.TextBox txtCurStep;
        private System.Windows.Forms.TextBox txtCurState;
        private System.Windows.Forms.Label label4;
        private System.Windows.Forms.Label label3;
        private System.Windows.Forms.Button btnStep;
        private System.Windows.Forms.Button btnPause;
        private System.Windows.Forms.Button btnStop;
        private System.Windows.Forms.TrackBar trackBar1;
        private System.Windows.Forms.Label label5;
        private System.Windows.Forms.GroupBox groupBox4;
        private System.Windows.Forms.TextBox txtOutput;
        private System.Windows.Forms.Button button7;
        private System.Windows.Forms.Button button8;
        private TapeControl tapeControl1;
        private System.Windows.Forms.GroupBox groupBox1;
        private System.Windows.Forms.SaveFileDialog saveFileDialog1;
        private System.Windows.Forms.OpenFileDialog openFileDialog1;
        private System.Windows.Forms.Timer timerRun;
        private System.Windows.Forms.Button btnRestart;
        private System.Windows.Forms.Label label6;
        private System.Windows.Forms.Label Slow;
        private System.Windows.Forms.Label txtSpeed;
        private System.Windows.Forms.ToolTip toolTip1;
        private System.Windows.Forms.TextBox txtMaxStep;
        private System.Windows.Forms.Label label2;

    }
}

